Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
601	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics
602	Stefan Meretz (September[removed]Meaning Concepts used in Psychology and Computer Sciences Abstract. This paper argues that the "meaning problem" cannot be treated within the cognitive framework. Many proposals using the Add to Reading List Source URL: www.kritische-informatik.de Language: English - Date: 2009-04-20 07:15:33 Science Semantics Logic Philosophical logic Semiotics Symbolic system Cognitive science Language Interpretation Philosophy of language Analytic philosophy Meaning
603	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages
604	Diachronic semantics of the modal verb -sóból- in Luganda: A corpus-driven approach Add to Reading List Source URL: tshwanedje.com Language: English - Date: 2014-07-19 13:14:24 Discourse analysis Applied linguistics Computational linguistics Linguistic modality Epistemic modality Modal verb Modal logic Text corpus Bantu languages Linguistics Grammatical moods Semantics
605	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
606	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
607	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: www.arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
608	Reimer on Musical Meaning Add to Reading List Source URL: act.maydaygroup.org Language: English - Date: 2013-12-24 14:27:15 Meaning Science Philosophical logic Semantics Humanities Language Concept Linguistic competence Linguistic turn Philosophy of language Analytic philosophy Linguistics
609	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
610	SPred: Large-scale Harvesting of Semantic Predicates Tiziano Flati and Roberto Navigli Dipartimento di Informatica Sapienza Universit`a di Roma {flati,navigli}@di.uniroma1.it Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2013-08-09 01:35:58 Knowledge representation Grammar Semantics Logic Lexical semantics WordNet Semantic network Predicate Cyc Linguistics Science Computational linguistics

UPDATE